A Formal Model for Software Component Interaction and Behavioural Interoperability
نویسندگان
چکیده
Interface Definition Languages (IDLs) such as CORBA IDL/CIDL lack mechanisms for capturing semantic aspects of software components, such as their interaction protocols. This often poses significant problems for ensuring the behavioural interoperability between components in designing component-based systems. This situation is even more complicated where third-party components are involved. Our previous work in extending component interface specifications with interaction constraints presents a lightweight and incremental approach to capturing and validating the interoperability requirements of components. In this paper, we provide a deeper insight of this approach and further explore its capacity. We propose a formal semantic model for it, characterising the concepts of component interfaces and interaction constraints, the consistency between constraints as well as the behavioural interoperability between components. Based on this model, we demonstrate how interaction constraints of software components are formally defined without compromising the usability and understandability of this approach. We also illustrate how contradictive constraints and potential behavioural interoperability problems can be effectively detected.
منابع مشابه
Specifying Interaction Constraints of Software Components for Better Understandability and Interoperability
A vital issue in the correct use of commercial-off-the-shelf (COTS) components is the proper understanding of their functionality, quality attributes and ways of operation. Traditionally, COTS component vendors provide some of this information in accompanying documentation. However, the documentation is often informal and likely contains ambiguous and inconsistent statements. Even equipped with...
متن کاملFormal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کاملProving Component Interoperability with B Refinement
We use the formal method B for specifying interfaces of software components. Each component interface is equipped with a suitable data model defining all types occurring in the signature of interface operations. Moreover, preand postconditions have to be given for all interface operations. The interoperability between two components is proved by using a refinement relation between an adaptation...
متن کاملTyping the Behavior of Software Components using Session Types
This paper proposes the use of session types to extend with behavioural information the simple descriptions usually provided by software component interfaces. We show how session types allow not only high level specifications of complex interactions, but also the definition of powerful interoperability tests at the protocol level, namely compatibility and substitutability of components. We pres...
متن کاملBehavioural Types and Component Adaptation
Component adaptation is widely recognised to be one of the crucial problems in Component-Based Software Engineering. The objective of this paper is to set a formal foundation for the adaptation of heterogeneous components that present mismatching interaction behaviour. The proposed adaptation methodology relies on: (1) the inclusion of behavioural types in component interfaces, to describe the ...
متن کامل